home *** CD-ROM | disk | FTP | other *** search

---

/ Developer Source 7 / developer source - volume 7.iso / ieeex / aug96 / lee0f108.gif

< prev

next >

Graphics Interchange Format  |  1997-01-16  |  41KB  |  757x222  |  4-bit (13 colors)

Labels: text | screenshot | font | black and white | number | handwriting
OCR: [TASK : Configure-a-Module] - (domain-model) ->[ ........ ] (state-model)->[ ..... ... ] (precondition) ->[Proposition: { [Backplane], [Module] } ] (protection) ->[Proposition: [Module: {* }]->(keep) ->[Optimal-order] ] (postcondition) ->[(NEG) ->[(NEG) ->[Proposition : [11]], (NEG) ->[Proposition : [[12]]]] [B11] . [ [ Current-Module]- -- >( compatible)- >>(configured-into) ____ >[Current-Backplane] ] [B12] ..... . [ (NEG) ->[ [Current-Module] -> (compatible) ->[Current-Backplane] ], [Current-Backplane] ->(status) ->[Moduled-Backplane] ] Figure 8. The conceptual graph for the functional specification of Configure-a-Module.

---